פורמליזם וקטור דו-מצבי