The principles of formal logic are fundamental to Logic Design Theory, which applies logical principles to design digital circuits. N.N. Biswas's work likely explores these connections, providing insights into how logical designs underpin modern computing.