long DFA 5-tuple k btana tha k kya represent krty hn truth tables thy ~(p^q) doosra ~p v ~q hort permitive statement , with example which mathematical model can be use as formal specification , is type ka tha ,